socratic problem